" Moshe Y. Vardi" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Erich Gradel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Ve

Категория: Компьютеры

4.01 Mb

#2

Reasoning About Knowledge

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

9.50 Mb

#3

Finite model theory and its applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Категория: Mathematics, Algebra, Mathematical logic

3.22 Mb

#4

Reasoning About Knowledge

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

4.76 Mb

#5

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

4.02 Mb

#6

Computer Aided Verification, 10 conf., CAV '98

Alan J. Hu, Moshe Y. Vardi

Категория: Cs_Computer science, CsLn_Lecture notes

5.51 Mb

#7

Mathematics - Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

4.03 Mb

#8

Reasoning About Knowledge

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

4.76 Mb

#9

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled, Moshe Y. Vardi

4.63 Mb

#10

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings ... / Lecture Notes in Artificial Intelligence

Moshe Vardi, Andrei Voronkov

4.08 Mb